Virtual Time and Timeout in Client-Server Networks - (Extended Abstract)
نویسنده
چکیده
4 Implementation 9 4.1 Time-stamping Algorithm . . . . . . . . . . . . . . . . . . . . . . 9 4.2 Correctness of the Implementation . . . . . . . . . . . . . . . . . 11 4.2.1 Preliminary Results . . . . . . . . . . . . . . . . . . . . . 11 4.2.2 Proofs of Safety Conditions . . . . . . . . . . . . . . . . . 12 4.3 Progress Condition . . . . . . . . . . . . . . . . . . . . . . . . . . 14 4.3.1 Proof of Progress Condition . . . . . . . . . . . . . . . . . 14 4.3.2 A Sufficient Condition for Progress . . . . . . . . . . . . . 15 4.4 Optimizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 4.4.1 By-passing the time-stamping algorithm . . . . . . . . . . 18 4.4.2 Time-stamping end events in non-quiescent states . . . . 19 4.4.3 Causal Model . . . . . . . . . . . . . . . . . . . . . . . . . 19 4.4.4 Simulation Model . . . . . . . . . . . . . . . . . . . . . . . 20 4.4.5 Real time computations . . . . . . . . . . . . . . . . . . . 20
منابع مشابه
Method of Video-Measurements of Traffic Flow Characteristics at a Road Junction
In the theory of traffic flows the main characteristics are: intensity, speed, and density. They make it possible to use hydrodynamic models. In connection with the development of modern highways and road networks, traffic flows behavior is becoming more and more complex and diverse. In particular, the B.Kerner studies have shown that the laminar solution of hydrodynamic models is poorly corre...
متن کاملA CSA Method for Assigning Client to Servers in Online Social Networks
This paper deals with the problem of user-server assignment in online social network systems. Online social network applications such as Facebook, Twitter, or Instagram are built on an infrastructure of servers that enables them to communicate with each other. A key factor that determines the facility of communication between the users and the servers is the Expected Transmission Time (ETT). A ...
متن کاملA Novel Method for VANET Improvement using Cloud Computing
In this paper, we present a novel algorithm for VANET using cloud computing. We accomplish processing, routing and traffic control in a centralized and parallel way by adding one or more server to the network. Each car or node is considered a Client, in such a manner that routing, traffic control, getting information from client and data processing and storing are performed by one or more serve...
متن کاملM/G/1 Vacation Queueing Systems with Server Timeout
We consider a single-server vacation queueing system that operates in the following manner. When the server returns from a vacation, it observes the following rule. If there is at least one customer in the system, the server commences service and serves exhaustively before taking another vacation. If the server finds the system empty, it waits a fixed time c. At the expiration of this time, the...
متن کاملA Programming Model for Real-Time Applications in Open Distributed Systems
This paper presents a model for distributed applications with real-time constraints in an heterogeneous context. The proposed model is based on CORBA standard architecture, and uses the reflective object paradigm which provides the separation of concerns : functionality and management. Consequently, the model has two levels : a base level which deals with system functionality and a meta level w...
متن کامل